TAGs: Distributive property simplify